(DEFPROP FORSMFNS
 (FORSMFNS REPLACE IF FOR)
VALUE)

(DEFPROP REPLACE
 (LAMBDA(REPLACEXP)
  (PROG	(REPLACE1 REPLACE2)
	(SETQ REPLACE1 (FULLEXPANSION (CADR REPLACEXP)))
	(SETQ REPLACE2 (CADDR REPLACEXP))
	(RETURN
	 (LIST (COND ((EQ (CAR REPLACE1) (QUOTE CAR)) (QUOTE RPLACA))
		     ((EQ (CAR REPLACE1) (QUOTE CDR)) (QUOTE RPLACD))
		     (ERROR (QUOTE "REPLACE CAN'T") (LIST REPLACE1 REPLACE2)))
	       (CADR REPLACE1)
	       REPLACE2))))
MACRO)

(DEFPROP IF
 (LAMBDA (IF-EXPRESSION) (RPLACNODE IF-EXPRESSION (CONS (QUOTE COND) (*IF (CDR IF-EXPRESSION)))))
MACRO)

(DEFPROP FOR
 (LAMBDA (FOR-EXPRESSION) (*FOR (CDR FOR-EXPRESSION)))
MACRO)